package project.parser.ast;

import project.environments.DynamicEnv;
import project.environments.StaticEnv;

public interface Prog {
	void typecheck(StaticEnv senv);

	void evaluate(DynamicEnv denv);
}
